#include<stdio.h>
void main(){
    int a=1;
    int b=0;
    printf("printf: %d",a/b);
    return 0;
}
